Buy Used and New Ifip Tc6 Wg6 1 Joint International Confe Books

Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)

by Ifip Tc6 Wg6 1 Joint International Confe,Tommaso Bolognesi,Diego Latella

ISBN 13: 9780792379683

Format: Hardcover (428 pages)
Publisher: Springer
Published: 30 Sep 2000

Save for later